handleName

TypeChecker

handleStreamDef

TypeChecker

handleSubtree

TypeChecker