make accurate types of rop constructors
implement koshu-version operator
add option to update cabal packages