added examples folder
added interface for setting context, theory and formula