typechecking structs & struct access.

Also NULL -> nullptr