added reset xactor; a few *synthesis* keywords when possible