fixed && error in oldTypes; added algos binary; removed -use-menhir flag from readme, as it causes errors;