Add more tests

This addresses tobie/specref#22