proxy updates + language pragmas

Language pragmas added to make sources lodable in ghci