simplified type error message
desugaring: atomic boolean constants instead of parser hack; multi-lambdas, expressions under lists
displaying desugared expression in REPL