a few updates: our test diagram now actually looks good!

* NTs now explicitly store Angles
* make a few functions for constructing special types of NT, like unit and counit
* blocks for Atoms now take up a width proportional to the number of inputs/outputs