Final commit: some comments added

After reading carefully the specs, some additional comments were added
to the requested explanations for each function