Wed Jul 28 02:02:17 PDT 2010 John Meacham <john@repetae.net> * be sure to record predicates introduced by explicitly declared functions, they may affect previous monomorphic bindings Wed Jul 28 02:26:04 PDT 2010 John Meacham <john@repetae.net> * add '-t' to only run typechecker on regression tests Wed Jul 28 02:26:21 PDT 2010 John Meacham <john@repetae.net> * only pass up predicates that mention metavariables Wed Jul 28 02:30:37 PDT 2010 John Meacham <john@repetae.net> * clean out old comments