Reject long idents

I think we should reject long idents since the spec limits the length. (And it would be nice if it turned out that
there was some use in actually reading the spec)