Coalton: Toward safe, flexible, and efficient software in Common Lisp [video]