require_relative 'type/system'
require_relative 'type/definitions'
require_relative 'type/type_def'
require_relative 'type/main_type'
require_relative 'type/expression'
require_relative 'type/attribute'
require_relative 'type/heading'
require_relative 'type/any_type'
require_relative 'type/builtin_type'
require_relative 'type/sub_type'
require_relative 'type/constraint_def'
require_relative 'type/constraints'
require_relative 'type/named_constraint'
require_relative 'type/unnamed_constraint'
require_relative 'type/seq_type'
require_relative 'type/set_type'
require_relative 'type/struct_type'
require_relative 'type/tuple_type'
require_relative 'type/relation_type'
require_relative 'type/union_type'
require_relative 'type/type_ref'
require_relative 'type/ad_type'
require_relative 'type/contract'
require_relative 'type/inline_pair'
require_relative 'type/external_pair'
require_relative 'type/lambda_expr'
require_relative 'type/metadata'
require_relative 'type/metadata_attr'