answering a CH comment in stlc.fst about type abbreviations/type-level functions