Added CalcActualTypes which in conjuction with stage::algorithm::type::intersect calculates the set of possible types for each typed node.