Clean up

These commits clean up type checking, some missing operators, and fix the builtin pow function.