Rewriting Stainless, and modernizing the code. default branch is for 10.10... sorry.