Instrumentation into Block IR

[ChingLongTin]

Call implementation will be after the algorithms for instrumenting functions are completed.

1. allocating optionNme
   This changed some diff tests (OpenWildcard.mls, Imports.mls, ImportMLs.mls) that imported Option themselves.
   If I allocate optionNme after checking if stageCode is enabled, it fails to link to the file.
   Is there some way to avoid changing the diff tests, or is this fine?

2. implementing I-Inst
   The current shape for Class C(n:s) includes the field names (n), but the field names are not available in Instantiation.
   The field names are used in sel. If the class is staged using I-Cls, then we can use the staged ClsLikeDefn to retrieve the symbol names, but when do we do when it isn't staged?

class A(a)
staged module B
  class C(a)
  fun f() = 
    new C(1) // ok, C is staged
    new A(1) // not ok, we don't know field names of A after instrumentation

[NeilKleistGao]

So far, if we introduce things from #387, it will fail, since we do not consider the mutable features that #387 is using. We probably need to only handle classes inside modules and leave other things untouched.