rename writeLine to writeString, add writeLine
Removed unnecessary backtracking in REPL command parsing making errors
harder to understand
Fixed wrong handling of whitespace between commands and arguments
Merge pull request #1424 from ahmadsalim/improvement/replcommandsbacktracking

Fixes backtracking in parser of REPL command
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.