Improved example.lam, commented out some lambda aliases
in lambda.hs, and added helpful information to translate
output