Fixed several issues with lambda transitions and added some more tests for FA Machines.