Fixes for SourceContext. Major change is the signature of the reflectMir...