Genetic Programming and Domain Knowledge: Beyond the Limitations of Grammar-Guided Machine Discovery