use deftype for html elements