gospel

Merge pull request #453 from mrjazzybread/fixity Identifiers now contain field stating if they are infix

Experimenting with dinamically verified invariants

Add minutes for 20251024

Fix print function for tagged identifiers This is a small issue from the last PR where we added the fixity to the record for the identifiers. We changed the print function for unqualified identifiers but not for qualified ones.