Add some explorations in Subst module