Added support for value binding; records; simple arithmetic and if ... then ... else