hask3.lang.type_system – The implementation of the type system