add postderef slicing and rearrange postderef examples

Also, I forgot to import the postderef feature...

Fixes #5