Add `exact` and `enum` types

[Jahans3]

Need to add a way of checking for specific values, including enumerations

Something like:

propA: type('enum', ['A', 2, 'C']),
propB: type('exact', 'someSpecificValue');