Fixed another serialization bug

This one was silent until I put in the error-check in Property.  If we
saved an empty-string Optional, it was being set to UnknownType.  In
practice this didn't matter *too* much, but it would have caused errors
later, and there is no reason for this sloppiness.  Now fixed.