Text this: Circuit Width Estimation via Effect Typing and Linear Dependency.