Typechecker for the focused language