type-check ExplicitSetSpec properly
Merge pull request #236 from BayesianLogic/size-of-explicit-set

type-check ExplicitSetSpec properly