typed constants