Better Error Messages

From the discussion on #67

This is what it would look like to use the property and type names in the error messages.  So far, I've just done it for structs and any irreducible properties they may have.  If this seems like  a good direction, I'll add similar messaging to all the other types.

    Invalid `asdf` supplied to `b: Num` in `ChildStruct`