Updating type system to typomatic