Local and global SPMD type system supporting erasure - View it on GitHub