An arbitrary type composition system with support for poliglot back storage.