Update Typechecker Jar for #847
Fix #847