Shape Checking for Annotated Tensor Names | Not Hacker News!