Refactor type system with properties as rules

[blakeembrey]

Enable a type to be composed from property rules and make fromJSON and toJSON simpler (remove duplication and sub-classing logic). Removes independent type classes and instead makes them a composition of their properties (with @type coming first).