public IType check(Context context) { if (value != null) { return(value.check(context)); } else { return(VoidType.Instance); } }