Add local var feature to PseudoC (but it's actually more like an ML "let")