adding arity-mismatch checking to data constructors.  fixes #155.
also pushing a new phase0 snapshot