Add tests for ‘-’ (failing, partly due to bug in ‘k’)

And add a stub for the tests for ‘+’ and ‘enter’.