lazy vals printing fixed for typechecked trees