add cond, case syntax and IO