The Silq Programming Language