type expansion
type expansion tests
remove some old debug