Show which branches are taken

When there is an if or pattern match it should highlight the taken path in yellow. When there is a boolean predicate it should highlight it in green/blue according to the result (perhaps, might not be necessary with the yellow color).

Note this isn't intended to be a HPC style "what got evaluated" in terms of lazy evaluation, more just which call path was taken.