The syntelos programming language