Changed signature of SourceFiles
Added SourceFiles monad