add

myProject/main> add

myProject/main> add myNewTerm

Adds or updates all the definitions from the most recently typechecked file to the codebase.