Introducing Coalton: How to Have Our (Typed) Cake and (Safel