let unop f a = TERM.e_prim f [a]