Got the show code properly working with let bindings. Also added the special syntax for constraints.