WIP on premise compilation.
Fix minor.
Rewrite v : TYPE to v ? TYPE and v ! TYPE => v' and update analysis accordingly
Type cast analysis bugfix.
Add support for type check and type cast to rule merging
Remove debug stmts
Make typecheck typecast and cast premises with full rights.