Describe handling of properties / address comments

Resolve the remaining open issues and address review comments:

* Describe how compile-time properties are handled, using the new
  compile-time property design document as a basis.

* Address remaining open issues, mostly with the front-end.

* Address review comments that have been made so far.

Author: gmlueck