changed syntax definitions to avoid conflicts with those defined in Prelude.Algebra
added some in-file documentation