added a command line tool for verification
added support for user defined types, sets. added the example of a train station to demonstrate it