README file because the mess of files is confusing at the moment. Proved one case of red_closed in lambdaMuBasic2_term.v, stuck in the other one.