Started adding top-level recursive expressions