basic Univ combinators and keys, for common types