add parameters position for s-app, for instantiating type parameters (tests not passing because of interaction with binops in parsing; checkpoint commit)
broken (can't parse binops), commit for sharing only
checkpoint: s/BINOP+/BINOP-PLUS and s/BINOP*/BINOP-TIMES and the like to not confuse ragg grammar
fixing tests to have spaces around binops
delete dead stuff, get names into lexer errors
merge w/master
allow type parameter instantiation in cases branches
Merge branch 'master' into app-params
more error messages tuff
Merge branch 'app-params' of github.com:brownplt/pyret-lang into app-params
Revert "allow type parameter instantiation in cases branches"

This reverts commit 934364c9c86f6202a8d63a5791613c6547bb76b8.

This is unnecessarily explicit, as the type parameters from the cases() position can be used. Doesn't seem to warrant inclusion in the grammar.
Merge branch 'app-params' of github.com:brownplt/pyret-lang into app-params
fix bug: missed a passthrough of s-app parameters in desugar, and wasn't desugaring annotations for the same parameters
add s-instantiate with concrete syntax e<ann, ...>, eliminating special case for app
Merge branch 'master' into app-params
Merge branch 'app-params' of github.com:brownplt/pyret-lang into app-params
Merge branch 'app-params' into nwo

Conflicts:
	src/lang/compile-helpers/lift-constants.rkt