LFFSubstitution done
EmptyEquiv separated
Less skips for permutations in merge_preserv_types
Messing around with LF libs
Labeled fully moved
Structure changes - moving files around, mostly
LabelFree almost done
Merge for label-free finished
LabelFree language with single unbox finished
Side lemmas for label-free language