interface functions for the following constraints:
  - sequence, extensional, binpacking
fix variable leaking in type translation macros