Use maybePropVal structure for handling signal update typemapping.