Second stab at postderef

This should be squashed with the previous commit.

• Make it compile under -Umad
• Permit ->*{
• Forbid ->&*(