Removed :WhQuestion as a semantic type and made it a property. Inference using WhQuestions now acts more like with generics, and respects restrictions.