Explicitation and translation editing environments