Scheme-based Theorem Discovery and Concept Invention