Simplify max and min for nats by removing lte
Add assoc, commut, and idemp proofs for min and max
add system FFun to base/System
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
javascript: implement %lib directive for node
adjusted CHANGELOG
Merge pull request #1338 from raichoo/javascript

javascript: implement %lib directive for node
javascript: do not include jsbn if not needed
Merge pull request #1339 from raichoo/javascript

javascript: do not include jsbn if not needed
javascript: fix indentation error
javascript: remove old namespaces
javascript: display unsupported instruction as comments
javascript: a few HLint adjustments
Merge pull request #1340 from raichoo/javascript

Javascript
In :search, check injectivity to prevent erroneous results
Discover typeclass introduction/elimination in :search