Enforce the signature of `main`

[kodek16]

Currently the analyzer seems to allow any signature of main, which causes problems down the line. Need to assert that only fun main() is allowed.