Core libraries of the Practical Programming Language