sketch of template NetKAT syntax
oasis setup
code for evaluator added, it compiles but havn't tested it yet
environment implemented as a map now (as opposed to list earlier)
added TypeIs and types
Adding bidirectional typechecker

- Does not take integer width of header and header_val into account
- Integrated with build system
- Compiles fine
Bidirectoinal Type checker initial draft, compiles fine
Comment changes
added parser

Lexer is still needed
Support for 'TypeIs' added, compiles fine
TypeIs working, test framework added for testing Templates
some comments
bug fix : If should work on predicates as conditionals
repeater kat program
using Template Parser, type checking is not involved as of yet
NetKAT code for Chapter 7, no parse error, does not work yet
netkat policy for chapter 8 in frenetic tutorial, translated verbatim for now, no parse error observed but it does not run
bug fix in "TypeIs"
Integrated typechecking
bug fix in typechecker, "Mod" case now returns TPol