Corecords/Polymorphic Variants

WIP

Closes #41