fix-semantics-size: Make size and size_pred tail recursive
Merge pull request #194 from frenetic-lang/fix-semantics-size

fix-semantics-size: Make size and size_pred tail recursive