Kind of a bummer that decorator metadata won't be supported, but this is at least a step in the right direction.

I'm looking forward to the day that I can write validation decorators for intersections, unions, and generics without doing any crazy hacks.