Some tweaks in Typers

  * Use `foreach` instead of `map` to `completeInfo`
  * Remove unused pattern binders
  * Add `tailrec` annotations
  * `List()` -> `Nil`
  * `filterNot` -> `filter`
  * Remove overzealous parenthesis
  * And some other tweaks

Author: joroKr21