We supplement our paper with the full source code for a prototype that demonstrates the security type check on various example applications (download provided in build instructions). It is fairly easy to run the security type check when a Windows system with VisualStudio 2013 is available.
We also give instructions for the execution of the example programs themselves, which requires however a bit more effort.
Finally, if you are interested to write your own policy, our page about policy definition contains a few notes about the syntax for the security type annotations.