Fix some builtin bugs
Fix some builtin bugs

- Numeric cast was leaving the type tag in place
- Nat.drop had its arguments backwards
- Nat.sub was returning Nat instead of Int

unisonweb/platform,unisonweb/platform,unisonweb/platform