Type checking for Contr, Prop, and Set