make closes take domains rather than whole maps
prove has_meaning_Abs