if and while.  Triangle with recursion.
TriangleWithWhile. Fix Vassign. Fix Vdef for local vars.