HFE Typing (Scheme 5A)