Add lore for non-lambda function parameters.

This also changes FunDec to a proper data type.
Some hlint-inspired fixes.
hlint-inspired fixes.