Start on sketching inference completeness for declarations