Types and full sentences