Do normal_forms_unique exercise in Smallstep