The English term "type" matches the Dutch term "drukletter"