Making a computer from a SINGLE basic element is way more epic than starting from AND and NOT. And starting from just the NAND is like the classic way.
The first level (if you're ever going to gamify it and have levels or something, to make it an interactive learning thing) would be to build a NOT from the NAND, and then use it to adapt NAND into AND :)
Also I'm super curious if there's an optimization path (and if you did that already) where if you can somehow determine that the circuit is stateless (no feedback loops down the circuit tree up until nands?) you can just have it be a precomputed truth table internally