Fixes #35

TODO: Need to visit type bounds in duplicator, see -Ycheck:minibox output