Improve type notation