WyC: working on getting FlowTypeChecker to distinguish current from declared types.