cleanup and verification of types in signal-slot connections