Whether this Indicator is well-formed
An indicator is well-formed when:
its nameTerm is an Atom
its arityTerm is a non-negative Integer