Remove `proc` types from the language

They are replaced with unboxed closures.

cc @pcwalton @aturon