introduced typedecl/typeinst and containerdecl/containerinst, rewrote type_helper/container_helper as one-liners