be serious about warnings
added top level module for Aim
added the modules that capture features
Add .gitignore
Remove unnecessary `where`
Replace `:=>` by `Supports`