Checking code paths return a value

### Describe the bug

Not all codepaths return a value; this is not checked

### To Reproduce

```module asdf
main :: int
main:
    int x = 1
#

### Expected behaviour

This should fail to compile 

### Environment (please complete the following information):

- OS: Ubuntu
- Emperor version unreleased

### Additional context

N/A
