Closes #32: Removes DART.ExtCore.TypeExtractor; Uses ext-core's Ty