Types in Physics