[cvs-nhc98] FFIBuiltin -> FFI, plus update some types from Addr to Ptr