[jvm] throw typed exception X::TypeCheck::Binding

That means we have this now on all backends.