Basic type checking as well as a bunch of framework stuff.