finished code for type tests; now ready to style