more work on binding group type inference