Shape Checking for Annotated Tensor Names