refactor(optimizer): type-safe plan base with compile-time convention check

refactor(optimizer): type-safe plan base with compile-time convention check #965