polishing
change syntax in examples
allocation in Idealized Algol style