Machine components enforce their types