progress on type structuring