Found a couple of typos in type checker.
Merge branch 'master' into v4
Added emitting code for not and len statements.  Still need to test them.
Merging conditional with len and not tests.