Scheme-Based Theorem Discovery And Concept Invention