A collection of static assertion methods, for asserting various predicates