Move to Alice 1.7

This fixes #23.