remove whitespace
rename target file
move lattice stuff into a separate file
rename source calculus file
git ignore more
slightly cleaner proof
nicer notation for filtering
correct(er) filter_subst
push through stability