Add missing concreteness checks.

Fix a bunch of possible SEGVs.