Support function definition in CBN (on behalf of Jun)

The related DS pull request: https://github.com/lukechurch/designscript/pull/141