Type inspector changes

- Fall back on :line when there is no :offset
- protocol change:  ":pos t" means that there is a position but we should ask later
- avoid using type-id as much as possible