add two demonstrative types