[cvs-nhc98] Implement all the abstract FFI types (e.g. Ptr a) using de