fixed some user type equality related problems