Lts::compose style
LtsNode::priv,LtsNode::type ==> LtsNode::info
multiple LTS composition algorithms
switched to compose_operational