My plans now call for adding features to replace the ones I've removed, namely experimental ones related to assisted theorem proving and inductive programming.