Added some typer things
Type checker