Merge pull request #781 from andrerod/master

Update to latest spec and hydra versions
Merge pull request #782 from andrerod/master

Bumping top level library version
Add lazy types