Saltarelle type definitions