typestateField typecheck works -> needs testing.