Expanded types, tests, display