Typos
Reject negative type-level integers created via TH (#8412)

This commit moves the check from parser to renamer.