Handle strict vs. relaxed access
Handle upcr_forall.
Handle compound assignment operators for shared lvalues.
Minor Cleanup
Handle unary operators (++/--/*/&)
Handle array indexing.