move examples for factorisation in separate file
more useful shadowing symbols lists
export interesting functions of the factorisation process
some notes for demonstration with one example