Added first hard-coded elaboration
Recovering properly definitions binded to the environment