sut types+minor TODOs