fixing the type-system checks for DataLogger
checking consistency of implementation modules from a model