"typedefy type system