properties have types, prop values are validated, gensymed names not displayed