document interfaces for Declarations and VarExps