Model: overspecify some types to evade possible ambiguities in future
Merge pull request #4 from keynslug/master

Model: overspecify some types to evade possible ambiguities in future