add back definition of el_check to compilerLib.lem

not sure why it got deleted. doesn't appear to have been moved.
update typeSysProps for new location of check_dup_ctors_thm