[mlir][spirv] Move type checks from dialect class to type hierarchy

Types should be checked with the type hierarchy. This should result in
better responsibility division and API surface.

Differential Revision: https://reviews.llvm.org/D76243