Horn Clause Specifications with Polymorphic Types