StlcProp initial commit
Progress
Free occurrences/closed terms
WIP; Substitution