semantic: Allow postfix to have any type of child
test: Update passing