Convert notation from schemes to ringed spaces, part 2

Now it should be easy to convert this to ringed topoi
Tags: Added new tags