Ensure samples built only after compiler
Extend general error methods for whole lines
Report dialect load failures differently
Condense checking and dialect dialect
Add "StandardPrelude.methods" for dialects
Update dialects to match paper
Allow overwriting types, add special patterns