Colored_operad loading ...