Create types which act like if statements in the type system.