Macroifizes 'interpret' and 'prove' methods.