More progress on inference soundness for declarations