Dear Agda developers, the Development Agda of October 8 considers `-1' as an illegal name in the type signature in -1 : ℤ -1 = -[1+ 0 ] Is this by occasion, or it is an intended rule? Thanks, ------ Sergei