Text this: Improving support for generic programming in C# with associated types and constraint propagation /