Merge pull request #251 from HeroesGrave/master

Fixes for opt-in `Copy`
fix for removal of `proc`