[idris] propertise identifier in eldoc