Add program specs

The `Program` class didn't have any tests, so I added some.