AAC refactor: add a new layer of errors for clarity-types to remove the needless use of CheckError

[jacinta-stacks]

Clarity types (in clarity-types/src/types/mod.rs) should have their own error layer that could be then converted properly by the caller.