Represents a boolean type
finalize, infer
constraint, finalize, include?, includes, infer, new
#accept_options