Add compiler support for control constructs
Add boolean expressions + Tcl stub implementation