Work

Using object-oriented typing to support architectural design in the C2 style