some fix + rewrite parts of transformation
compiler broken, in the process to improve it
paper finished, needs relecture