Jar T typechecker