Comptype Accept

Type-Level Computations for Ruby Libraries to appear at PLDI 2019.