added some stubs (future implem of substitution trees)