Hrutvik Kanabar

As it stands, I believe type inference mostly supports user-defined exceptions - we would only need to update [well-formedness checks](https://github.com/CakeML/pure/blob/de95119f4eb461ad5a1e73a72fe056b6da7beaa1/typing/pure_inferenceScript.sml#L987-L995) of user-defined types to account for them. However, if I...