Added Type identifiers TMaybe and TPromise