Polymorphic types should be testable a well

[kmels]

the LambdaAbstraction constructor in DART.ExtCore.TypeExtractor.DataTypes has a concrete type as its first argument, but a polymorphic doesn't fit there. That is, we want to test functions of e.g. type [a] -> Int -> a