reformat types
Add type tests
Suppress uninitialized split warning