- Added INT64 type tag
- Renamed other tags and IR instructions for more consistency
- Still need to fix set_value and load_u64, store_u64