added libst2 as libstd stubs.
fix to debug instrumentation: `ReFunction` should not claim to be `ReStatic`.