The Kill Programming Language Specification