Refactor import types

[ospencer]

Nope! It's not possible, so I'll add an "Impossible" marker to it. We can maybe make the types a little better here in the future to avoid having a case like this (combining imp_desc and imp_shape).

Originally posted by @ospencer in https://github.com/grain-lang/grain/pull/1176#discussion_r855292690