Some type annotations may be incorrect/ineffective

[rbrw]

Noticed via eastwood that some code might be using incorrect type annotations, for example in number-recorded, e.g. ^long doesn't actually work: https://github.com/jonase/eastwood#wrong-tag