Create Component_def.thy

Components defined using strand types