Tried using type annotation in one more place

... but failed, because the way we match top level signatures to
definitions is quite broken. Also see #15.