Support builds that doesn't use cabal for libs and rts
Parsing for quasiquotes
Elaborate quasiquotes
Elaborate qquotes in fresh proof state
Initial support for unquotes
Simplify max and min for nats by removing lte
Support simple quasiquote patterns
Allow reflecting types with quasiquote patterns
Quasiquotes in CHANGELOG
Add simple test for quasiquotations
Merge remote-tracking branch 'upstream/master' into quasiquote

Conflicts:
	CHANGELOG
Add assoc, commut, and idemp proofs for min and max
Prevent possibility of unbounded computation in :search

Attack typeclasses in a much more principled manner. Now, even if we didn't
cut off when the score got too great, computation would eventually end.
Additionally, break the matching of types into distinct phases, which
should also help with performance.
Implement unquoting for the rest of PTerm
add system FFun to base/System
Use a priority queue to improve performance when matching types in :search
Merge pull request #1332 from Heather/system

add system FFun to base/System
Merge pull request #1330 from mrb/simplify_nat_max_min

Simplify max and min for nats by removing lte
Merge pull request #1333 from bmsherman/improvedSearch

Improved performance for :search
Elaborate quasiquote patterns to something useful

This causes parts of the terms that either vary unpredictably or don't
contain interesting information to be elaborated to _ in a pattern-match
context.