Added checks to ensure correct argument count on calls
Added a limited, naive typer inferencer