Uploaded preemptive type checking implementation
- Includes implementation, library, examples, and
  benchmark code