Started sketching out a type inferencer.