Remove dependency from LaurelGrammar.lean to proofs, and move the proof files to Strata#367

aqjune-aws wants to merge 2 commits intomainstrata-org/Strata:mainfrom

jlee/strataproofsstrata-org/Strata:jlee/strataproofsCopy head branch name to clipboard