hax internal types

A crate that defines the types of the various payloads of the attributes produced by the crate hax-lib-macros and consumed internally by the engine of hax.