added proper texinfo documentation, reorganisation of operators
more documentation
code review