update a generated Script file

due to lem update
uncapitalise an instance of 'BytecodeTheory'