The Knight Programming Language