add arithmetic operaters
simplify abort type definition
add option to install koshu command
add dictionary examples