Added pmachine (HW1). Improved / slightly debugged code generation.