adding more Type computations