Core types for wino.