added demo programs
still need to fix this
let the compiler call the GNU toolchain
added transformations for comparisons as well
fixed several issues after debugging