Improve oasis with compilation of eliom