add failing tests for default function export

The first one seems to be a bug.

The second two are to do with allowing the default token, so perhaps these are not as urgent and could be omitted.


What would a cover grammar involve?