annotations, examples, some typed constants