3 weeks has passed with the experiment and finally I decided what to implement from my too many ideas. This post is about a small implementation detail that enables tight predicate checking with custom guards on functions:

http://dbeck.github.io/Scalesmall-W3-Elixir-Macro-Guards/

Hope you find this useful.