design thoughts: virtual sums for type checking
more comments on utility
misc. comments