Did some testing with documents from arxiv and implemented fixes. Removed any thought of textprocesing, added theorems and proofs