types/Forall: basically done, I think.