jameysharp Unify/document handling possibly-incomplete types.