change stlc-sub's 'check' function to not assume
its input is well-typed
add missing value production

also, use redex-check? instead of redex-check in 2 places
fix subst function

- its contract said it accepted M's as the third argument, but it
  worked only for v's
- remove two redundant cases
new slate of stlc-sub bugs