Types. Fixes #1.