Cyclus Type System (cyclus.typesystem)