dynamic "choosing" of type subtree and inferenced tree

inferencing for vectors doesn't work yet.