accommodate converting from macrotypes define-type to turnstile version

[stchang]

Ideally, there should be a shim layer for turnstile/typedef's define-type that mirrors the api from macrotypes/typcheck-core, ie define-base-type, define-type-constructor, etc.