Merge pull request #127 from xenog/path-derivation

Using GADTs for derivation paths