Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features