Merge pull request #4 from densh/master

Implement namespace binding lifting
Merge pull request #6 from densh/master

Fixes matching after typechecking
tuning the build
adds mandatory <developers> information
Merge pull request #7 from xeno-by/master

final pre-release sequence
updates the readme
link to the example repo
Merge pull request #8 from xeno-by/master

updates the readme
enables one-way bincompat checks
Merge pull request #10 from xeno-by/master

enables one-way bincompat checks