Added typedef declarations (including namebinding and typechecking).