Oreole.TypeSystem: improved error locations in arguments to function application
Oreole.TypeSystem: more consistent messages