Handle type ascriptions in where blocks