SMS: Continuous model theory