Declaration of typed constants