WIP: Types of pull requests

Fixes #172.