extensions are now typedefinitions