Remove concept of a user

[icecrime]

Adding User type, user_data builtin function, and sync_users commands were mistakes. This can all be supported thanks to user-defined functions.

All those elements should be removed, and user_data should be re-implemented as a user-defined function.