Banged symbols should appear in classify
Fix computation of closure
WIP, IT WOARKS