Add nat type parameters

[mark-koch]

Fill in the raise NotImplemented sections in ConstParam, ConstArg, etc. to allow types like array[qubit, 10].