Add static checking for various properties.

Fixes #14