[46] operators
[46] contract check on eq/2
[61] simple tree type, simple answer