ivory-strings: fixes:
  - use ixrep as the type (for now)
  - fail on initialize/store for HS strings that are too long
  - add a store lib function
concrete syntax: allow macros for struct initializers.