Enhance Hibernate to allow typechecking of function and operator arguments, according to the type system of the JPA spec.