This package is for terms and their interpretations.