A Functional Approach to Library Construction for Conceptual Reasoning