Type refactoring. Created vector_t and pointer_t.
lltype function calls shoud not need coercion anymore.
Removed integer vector comparison function, which has been included into
the regular integer comparison function (as it is in LLVM IR).