Example of default equality with amrita 0.1.3