Program representation for general intelligence