Refactored source and core definitions:
  Moved s_type and s_terms to Source.
  Added s_typing.
  Put ctxt definition on core.
  Add s_context_typing.
Merge remote-tracking branch 'origin/master' into source-refactor

Conflicts:
	src/Core_Definitions.v