remove dead code
fix compiler warnings
update Makefile to enable compilation
fix segfault on FFI call
update gitignore
add support for strictness annotations, fixing the tests in the process