WYCS: substitution of generic type arguments is now working.  However, it doesn't infer them yet, and this remains as future work.