fixing a bunch of problems with counter examples since record types were introduced