Added two examples. Corrected a type checking bug on equations.