Package for the abstract typesystem implementation.