Sikkel Nominal

Sikkel Nominal

Implementation of nominal types on the Sikkel (https://github.com/JorisCeulemans/sikkel) framework