Main types

Return types:

Virtual machine / language types:

System types:

Interface data types:

Interface function types: