WYONE: some playing around with the type system for Wyone.  At the moment, there are some significant challenges surrounding reference and meta types, and hanging the whole thing together.