Adding missing type equalites in signature