Reasoner: More datatypes.