Conditionals complete
Complete higher order functions
Runtime polymorphism complete