lava.h now provides a read-eval-loop api and should not be used internally. All refs to lava.h should be replaced by err/err.h and/or types/types.h