Bug correction and completion of modleica standard library