Improvements, Coq, better iPython, more better faster stronger