Semi-composable type-level boxes.
Towards partial conversions.
Box tests. Partial conversions partially working.