more local type inference; however still unable to type append just from typing rules...