Basic type safety