[display] add @type mode

This one adds the `type` display mode which returns the type of an expression at given position, which is a lot more handy than typing `$type(e)` by hand and then recompiling the whole project.

What do you think, @Simn, @ncannasse?