Fixed level1 text
Tidied up code for main level (in particular, fns used as pog-fns now check their argument types).