curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language