Added prototype for twelf server integration
Improved integration with Twelf. Totality assertions! :)