Support for primitive ADT with type checking, typed collections that contain those and some operations on them. Also, reactivity in DataType class - pretty handy on the client.