Cannot use predicate with same name as type

[Pieter Van Hertum]

When defining a type t and a (sort)predicate t(x), it complains about the existence of a predicate t(x). This shouldn't be a problem however.

[Bart Bogaerts]

Ik weet niet of dit wel een bug is. type x maakt impliciet een predicaat x(x). Moet het dan nog toegelaten zijn om dit zelf te maken?

Want als je zelf een predicaat x(x) maakt, dan moet dit niet per se het typepredicaat zijn, dat zou ook altijd false kunnen zijn...

[Broes De Cat]

Het is inderdaad misschien het veiligste om dit niet toe te laten. Misschien moeten we dan wel een duidelijke error gooien, dat het al bestaat omdat het een type is (niet gecheckt of dit al gebeurd).