added new theory for testing concepts and functions from refinement theory, so we keep the main theory clean
updates on test theory and sketching ideas for compositionality