Add some very basic theory about pointed types.

This closes #220.