fixed oversight in ptr to bool, also fixed broken'let val:t=expr'