[jhc] darcs patch: make Info type ids not depend on the exa... (and 2 more)