Fixed some more issues and added type and context well-formedness rules and products
Added ecoop14.pdf for reference