cleanup Types.isa, fix tests, document types