Added "found implies best-match" assertion
Restored folding
Fixes
Added .gitignore
Added overlay priorities.