Typecheck $n. Fixes #3. Fixes cznic/goyacc #16.