Actually maybe they should be types. I'm kind of on the fence about this. The more I think about it, though, the more you're right. I'll make them types, and take out Undefined.