Grounding of projections works now properly, lua counters work.
Attempt to make bodies into list and cleanup
Doubles arguments, does not check for duplicates