Fixed annotation schemes 'simple' and 'global' to give sound(er) default region args.
Now pointers point by default into region Global.
Only stack and params are placed in Local.