Clean and consolidate export code #190

Factor out type-level lens laws to Dynamic, thereby shortening
constraints somewhat...