compiled compiler2
change code gen to new Binding scheme
compile and run PreludeProperties
make compiler succeeded