SEM.UNTYPED
type t
val inject : t exp -> untyped exp
val project : untyped exp -> t exp
val test : untyped exp -> bool exp