added assert and edited some minor stuff
added bool (datatype is not checked)
updated ignore list
reimpl. fn calls,
fixed some bugs, abs example runs fine
added assertions and equal comparisation
added abs0 testbench