Started on Condition. NYI - need to redefine compileProg to return a Program instead of Proc
cleanup
added toProg
Working on mkLength