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)

[kozross]

That's definitely dependent types territory, which Medea isn't powerful enough to express (yet). Good feature though!