finish the type checking logic

[dherman]

Need to add all the dynamic type checks everywhere; currently only some of them are implemented.

[dherman]

One question to consider: do prototype accessors and methods need to type-check their this value? They probably have to.