Renamed FunctionBox to OperatorBox
Side menu with list of operators; RxMarbles title and proposition value
Updated TODO
Merge branch 'master' into gh-pages

Conflicts:
	dist/js/app.js