Updates, clarifications, and fixes in regard to the definition of a constant