add isPurely{Discrete, Integer, Numeric}, has{Discrete, Integer, Numeric} getter functions and associated test case