type system has feature pairity with previous version