Link to mixed in pseudo-types

Also rename `number` to `num`.
Mentioned in #170
Remove "definition is not used at run time"

Closes #399