Initial code checkin
formalizations and documentation changes, created composer.json file
Merge branch 'dev'