added simple logo
additional validation

CallExpression correctly return function return type
ifexp coerces condition to bool during validation