Rewrote signals management using type families.
Clean-up.