Parser/checker in Prolog: Desugaring of struct types.
Desugaring cont'd.
Desugaring follow-up: Return-spec simplifications.