Need to support generic types

[upsuper]

There are usecases for types like Foo<'a>, Bar<T: Clone> things like that. We should add support for that.

Syntax can be something like

assert_impl!(FancyTrait: for<'a> Foo<'a>, for<T: Clone> Bar<T>);