KallimachosTypesystemUtil