add the "ind" type to the stateless syntax/semantics
some hacking in holSemanticsScript.sml

but this probably needs some things to be defined differently before
real progress can be made.