Work in progress: implementing polymorphic types in Abella