Preparation for addition and mul finished

The preparation functions for many-body expression addition and
multiplication has been preliminarily finished. Now a major code review
and debugging is called for before the actual implementation of the user
functions.