Parser now accepts data specifications anywhere at the top level; they don't have to preceed super-combinators