No need to check for recursive types anymore
Fixed parser bug with vars. Refactored parser to remove duplicated code.