Well, we could just have a switch for testing/debugging purposes that would treat them like they were untyped. That's what I meant in the comment. Or we could use option contracts.