The abstract-type library includes the abstract `Type` class and `Value` class for streamable type info and validating value.
