simplify TypeLiteral, get rid of commented $$targs$$ for methods
More tests for #203
avoid importing check::test because it messes up the local tests