Type insertion