WIP: Scoring for dependencies
Fix defthms. WIP: getting order right