more updates to semanticsExtra

also, deleting commented out things along the way