Added methods to print type equations