Pointless records as type sets