Add type equality