introduceType action and Documentation update