Simplified type creation

Fixes #2.

Depends on #36 being merged first.