The syntactic dual of autonomous categories enriched over generalised metric spaces