feat(domains): simple lattice for types
feat(domains): simple lattice for types

Types in Crab are pretty simple by design and they don't require any
type inference except that the type of the content of a region can be
unknown. An unknown region can unify with regions of other types (e.g,
region of integers, regions of references, etc).

seahorn/crab,seahorn/crab