Add Option constructor to ThyDataSexp.t
Force users of ThyDataSexp to provide their own merge function Provide a couple of likely candidates for this purpose.
Add a generic s-expression type as data adjoinable to theories