On an extension of functional languages door Dorp