Added typing rules for pointers.