Massive update

* Added full math support
* Full support of predicate expressions
* Some new functions
* Some new axes + fixes for already (partially) implemented
* Unit tests
* Dialyzer + typespecs
* Readme

See README for list of what is implemented and what not

XXX: not synced with master!