Linear_type_system