new keybindings for #716
update typechecker jar