Improve generated type for anyOf constraints
- #67: Generate "Union" Types for anyOf Constraint. Supports inferring the lowest upper bound type for
anyOfconstraints. Does not yet handle shapes or dicts, but does handle arraykeys, vecs and nums. Introduces aTypingnamespace as a foundation atop which to build more complex type inference.