Fix for generalized binder substitution
Implementing "freevars"
Splitted binders into binder and metabinder