This accords with my intuition from seeing that things like SKI combinators and ELF relocation headers are Turing complete. However, I'm interested in whether there is any theoretical justification for that particular breakdown of features.