In the repl type_top -> type_prog and evaluate_top -> evaluate_prod

Because type_top and evaluate_top don't exist and the metatheory is all
in terms of the _prod versions.  For now, just pass the top in as a
singleton list.