Fixed typer for datatype.
Fixed typer tests (compiler more quickly compile tests).
Fixed tests.
Fixed typer.
Fixed syntex sugar and typer.
Fixed.
Added reset command.