Raise error if any type signatures are unused