created ksumj (and it's semi-memoized version)
making progress on pr04 ... just need the inductive cases