Refactor compiler a little bit.
Work on linear representation and delinearisation.