Extension libraries of the Practical Programming Language (PPL)