subst comp (#5)

* wip

* respect

* it works

* change names & remove unecessary

* ...

* Changes to name abstraction

* WIP

* fcb done

* Substitution

* Substitution composition

Final version for Msc

Algumas correções.