Formalized type of operator dispatcher.
Tightened types of operators.
Added Readme.md.