Seman
Work in progress on seman module
Seman
- Test: good-typing test are running