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