Fix #4413: In def-simplifier, add noun property