Solve type constraints.