Corecords/Polymorphic Variants

WIP