Update docs

Author: MikePopoloski

docs/language-support.dox

@@ -248,9 +248,11 @@ LRM | Feature | Supported
 {{m-success}} 16.9 | Sequence operations | v0.8
 {{m-success}} 16.10 | Local variables | v0.8
 {{m-success}} 16.11 | Calling subroutines on match of sequence | v0.8
-{{m-warning}} 16.12 | Declaring properties | partial
+{{m-success}} 16.12 | Declaring properties | v0.8
+{{m-warning}} 16.12.22 | Nondegeneracy | partial
 {{m-warning}} 16.13 | Multiclock support | partial
-{{m-warning}} 16.14 | Concurrent assertions | partial
+{{m-success}} 16.14 | Concurrent assertions | v0.8
+{{m-danger}}  16.14.7 | Inferred value functions | no
 {{m-success}} 16.15 | Disable iff resolution | v0.8
 {{m-danger}}  16.16 | Clock resolution | no
 {{m-success}} 16.17 | Expect statement | v0.8