syntax "idrisIdentifier" is never matched outside "idrisTypeDecl"

[luochen1990]

I'm not sure whether it is intended or not, but this will cause some identifiers spell checked.

I think identifiers should not be spell checked anywhere.