Add some explorations in Subst module
Merge pull request #2 from knuton/faulty-lemmas

Add some explorations in Subst module