WYIL: ok, so type testing is now working ... but not completely.