fix warnings
TCon replaces TInt and TBool
Add TApp
Add benchmarks