Composable Type System Specification Using Heterogeneous Scope Graphs