Added some data type assertions to the Machine class