Add theorems that have freeness constraints to be included as suggestions in the suggestion box since we now have the ability to only suggest theorems that do not violate the freeness constraints.
Add theorems that have freeness constraints to be included as suggestions in the suggestion box since we now have the ability to only suggest theorems that do not violate the freeness constraints.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert