more specific error messages, fix one test
Fix Singleton.span, it's now compiled to js and works fine
Uncomment code that uses reified generics, it's now used in js
Fix iterator limit check, though it's not used yet
Comment code that won't typecheck for now