Update order in UnionType.containsType.
Add type param instantiation for all solves.
Fix type instantiation during solve.
Update scenario type validation check.
Update README wording.