introduceType action and Documentation update

Final one