'Continuous model theory and modules over C^*