More cleanups. Recurse on Nat instead of Int for LString