Add missing concepts

Fixes #17.