extensions: [with compare] now works with parametrized types ( fix #130 )