Extract specs and types. Fix #9.
Merge pull request #15 from fenollp/extract-specs

Extract specs and types. Fix #9.