In programming language theory and formal systems in general, "types" mean what is often called "static types." In any event, that's what I'm referring to.