SMS: Polytypic Programming With Ease