eliminate LocalEnactContext::thisLocal by adding extra constraints

have type checker forbid <global nonshared> and <global polyshared> methods?

allow allocation into <local nonshared> and <local polyshared> regions