Improved definition of terms

Added a "General Definitions" section accumulating all general ideas
and important assumptions of the specification.