Finished isa function and types