intro docs (OCL and Schematron)