Three Kinds Of Typing