Type definitions for Avalon