formatted language defs for seq and map ops