added typestate concatenation when calling methods on the "this" keyword. Still need to check when to call functions on the "this" keyword though.