Improve diagnostic messages for errors in elaborating fun apps

[Kmeakin]

Distinguish between the two different ways that FunApp can be an error:

• Trying to apply any number of arguments to an expression that is not a function (eg Type false)
• Trying to apply too many arguments to a function (eg id false false if id : Bool -> Bool)