Shapes

A tiny virtual type system with no fluff