more expansion, quotation macro, testing PEG compilation, some thesis text