This project is retired. All contents has been merged into this project.
Demo of using the typechecking with constraint rules