This is a placeholder milestone for what was previously planned in 0.6.0 but now postponed to later due to the complexity of merging them.

0.7.0 might be a release that cross-check more with kingdon and lean.