> I was hoping to give "suggestions" for missing sharing constraints > or "where type.." declarations. Could you send a few examples, each showing a type incorrect program and the error message you would like to produce?