deleted extraneous parens
squelch output of ml-build
added Syntax.Concrete.show fn to print "concrete" syntax
replaced homegrown test framework with QCheck

see: https://github.com/league/qcheck