Added lifting Mx through Option
Support generating Option
Added lifting tests, comment out long running code for Euler problem 5
Removed demo that did not work properly