An animation engine for the canvas and dom
Type Checker which Support Logic Computation and Self Definition.