Towards an orthogonal approach -- type extensions