Recursive completion of incomplete terms. Term reconstruction doesn't work yet.