rename writeLine to writeString, add writeLine
Add tactics "skip" and "fail"

"skip" does nothing, while "fail" produces an error. They have
corresponding reflected versions Skip and Fail. Fail has access to the
pretty printer by taking a List ErrorReportPart as its argument.
Merge pull request #1425 from david-christiansen/fail-skip-tactics

Add tactics "skip" and "fail"
Add 'doc' and 'doc_clean' make targets for Effects lib
Reinsert check for constructor/family mismatch.

It appears that the code to do this was accidentally deleted at some
point. It is now called again.

Fixes #1434.
Merge pull request #1435 from david-christiansen/issue/1434

Reinsert check for constructor/family mismatch.
Allow “!” to start a larger operator

This causes it to be usable for a bang binding only if not directly followed by
additional operator chars, which should be the norm when intended as a bang
binding.
Update reflection code to current core language.

Fixes #796.
Update Eq and Show reflection for internals changes
Add typeclass for programmatic quoting

This is for implementing tactics.
Add regression test for operators starting with "!"
Fix reference to broken primitives
Merge pull request #1433 from jmitchell/effects-doc

Add 'doc' and 'doc_clean' make targets for Effects lib
Merge pull request #1438 from david-christiansen/reflection-updates

Reflection updates
Merge pull request #1414 from Heather/writeLine

rename writeLine to writeString, add writeLine
Add Quotable instances for Raw and Tactic
Update documentation in Language.Reflection

Now it's in a format where it is visible to the compiler.
Merge pull request #1443 from david-christiansen/reflection-updates

Reflection updates
Improve quasiquote patterns for MN

In the past, this elaborated to `_`.  However, this led to pattern matches
confusing built-in types like `()`, as these are named with `MN`. This
update makes the generated pattern more specific.
Merge pull request #1440 from Melvar/fix-bangbind-op

Allow “!” to start a larger operator