Example project for ttype-safe

This project goal is to serve as an example of the runtime type checker library ttype-safe