Prolog experiment: LinearVM type checking cont'd.
Prolog experiment: Check function return type syntax.
Parser/checker in Prolog: Add desugaring step (part 1).