Improved types, predicates and functions