Automating meta-theory creation and system extension