- Fixed unfold_goal/2, was not working properly.

- Improved it to avoid module qualification when no meta arguments are involved.
Moved term_expansion/2 in refactor.pl to a separated module to allow reusability
Removed unused option