and, or
simplify bool expressions
rewrite eols
composition
snd