Cleaning up dependent language introduction