Bool-primops stuff
Programs for testing #8103
Tests for broken CopyProp
Add Makefile
Add header files for hand-written Cmm
Add hand-written Cmm files