dependent types

[Benjmhart]

After working with Medea, we find that we cannot express the following usecase:

IF tag = "OrderAddress" THEN dbObject must use a single specified schema (out of 9 possible types)