Removed all redundant instanced of `locally of finite type'.