reduce the number of types for the Titan impl