Assignment and checking of indirection levels for pointer types