Plug and Play the Theory of Contexts in Higher-Order abstract Syntax