Added variable arguments functionality to function expression, added tuple type and a constructor BIF, added bool type, centralized some string constants