IMP programs

Copied from a K tutorial written by Grigore Rosu