Add annotations and aliases
Improve error messages. Also use -true-filter in more places.
CTYP-64 Explicit error for incorrectly annotated records/datatype.

Support recur in deftype method bodies
Better validation for function parsing
Changelog
Fix -true-filter references