IO lib functions was separated from DSL.Lib. printInt and readInt DSL-function was introduced. DSL.Lib.Arithmetics was extended a bit.