Added examples and cleaned up a bit
Fixed tests and more clean up
Minor changes: fix_subtermpos should also be used at clause level, if not we loose the outer comments, but will be used to refactor multiple clauses.
Added read_terms/3 predicate, which will be used to perform group of clauses transformations