Add additional spec to illustrate that empty context blocks are also pending.

Closes #174.
Adds a clogv AppCode template

Auto-suggests variables in scope for logging, and figures out the
correct type. Thanks to Jonathan Barnes.
Minor cleanup to make CedarDoubleImpl conform to CedarDouble