For editable declarations/relations, use declaration's type signature

This works for most cases, but does not respond to narrowing or widening. If we want full support for that, we will need a rather complicated algorithm that will mimic the typechecker and is underspecified at the moment.