Refactor `type`-ing (specs) rules. Update related tests.
Merge pull request #17 from fenollp/refactor-spectypes

Refactor `type`-ing (specs) rules. Update related tests.