fixup! Add checkable type definition