Support specs like `normalizer/1 :: processor()`

* Correct `fa` rule --> fixes `fun_func` misbehaviour
* Allow `var` :: ... :: `var` :: `type` type-assignment
* Forbid certain chars in names: '<' for atoms & '<.' for vars
* git-ignore temporary test files
* Add | update tests.