Architecture and Knowledge Representation for Composable Inductive Programming