Type tests

by Andrew Footit