Moved file to start proper version of action on modular curves
Added neat version of modular curves, specifically X_0(22)
Started intro to neat version
Proof of basis for refined cover is completed, with some todo notes