Better type resolution, arrays, generics. Aliases for system types.