semantic: Verify and type constructor calls.