Implement typed constants