A parallel type analysis/inference system. New Mexico Tech CSE451 Project.