feat: implement static globals, explicit type casting, and pointer arithmetic

feat: implement static globals, explicit type casting, and pointer arithmetic #542