Self-calls in non-object context should fail with a helpful error message

This program fails with an uninformative explicit fail during typechecking.

```
fn main() {

    fn foo() -> int {
        ret 3();
    }

    self.foo();

}
```

Fix on the way...
