clean up component dependencies of lia#150

andres-erbsen merged 2 commits intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:early-liaandres-erbsen/stdlib:early-liaCopy head branch name to clipboard