Glued together typing for function calls, still need bounds checks
Stopped value chains following through calls
Recreate pointer GEPs to get typing right for classes
Bounds checks are not added on SAFE pointers
Redid bounds check function
Added NULL checks for SAFE pointers
Re-enabled test
Fixed bug where a fat pointer isn't created when malloc is of i8*
Wrapped raw pointers returned from functions into fat pointers