test in the example project

Change-Id: Ic982fe90f9c2308b559560efed7e6e0844fc2c22
run findbugs on examples as well

Change-Id: I1edd5310081488db358de32c6dfb3fe96542f6f1
renamed package names

Change-Id: I654f1e10099674849d8ac2b2e6ff272484ade10b
Lifo example

Change-Id: I1b774ac91395a5db8818ac28b59dada11418a092
extensions examples

Change-Id: I815b03a185653689114d4c88b23da09e7245a069
fixed stack overflow when passing the same type parameter

trait T2<T> uses T1<T> {}

Change-Id: I6a4061132264094b741cea75c7ea7d181c6e3464
case when the type param occurs in a parameterized type

trait T3<V> uses T2<List<V>>

Change-Id: Ia27c1daf1877eb08ac25eb52b5ec647b0bafa04b