List building.
Add constant propagation transformation
Constant propagate through the MergePoint and TryOr as well.
Fix compilation of Lists to respect the expected types.
Fix issue with building lists.
WIP on type least upper bound on list tail.