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

...rored function. It now takes in an additional SourceContext parameter as an implicit argument.