Re-wrote coll to pure, now not carrying huge lists around
using global TVar for TermMap now
switched from Map to Set
Naming stuff