dual typing mechanics