Provide a vtable implementation based on a switch statement

[ldionne]

This could allow storing polymorphic objects in an address-independent way (no vtable ptr). This may also have interesting performance properties. See p0722r1 for ideas about this.