Update basic_term.hpp