Initial support for the "Polymorphic views for names and binders"